λ(y : Bool) → y
